$\forall$$A$, $B$:Realizer.
\\[0ex]$\neg$Rplus?($A$)
\\[0ex]$\Rightarrow$ $\neg$Rplus?($B$)
\\[0ex]$\Rightarrow$ R{-}Feasible($A$)
\\[0ex]$\Rightarrow$ R{-}Feasible($B$)
\\[0ex]$\Rightarrow$ $A$ $\parallel$ $B$
\\[0ex]$\Rightarrow$ interface{-}compatible([[$A$]];[[$B$]])